Online and offline heuristics for inferring hierarchies of repetitions in sequences

Hierarchical dictionary-based compression schemes form a grammar for a text by replacing each repeated string with a production rule. While such schemes usually operate online, making a replacement as soon as repetition is detected, offline operation permits greater freedom in choosing the order of replacement. In this paper, we compare the online method with three offline heuristics for selecting the next substring to replace: longest string first, most common string first, and the string that minimized the size of the grammar locally. Surprisingly, two of the offline techniques, like the online method, run in time linear in the size of the input. We evaluate each technique on artificial and natural sequences. In general, the locally-most-compressive heuristic performs best, followed by most frequent, the online technique, and, lagging by some distance, the longest-first technique

Fluid and Diffusion Limits for Bike Sharing Systems

Bike sharing systems have rapidly developed around the world, and they are served as a promising strategy to improve urban traffic congestion and to decrease polluting gas emissions. So far performance analysis of bike sharing systems always exists many difficulties and challenges under some more general factors. In this paper, a more general large-scale bike sharing system is discussed by means of heavy traffic approximation of multiclass closed queueing networks with non-exponential factors. Based on this, the fluid scaled equations and the diffusion scaled equations are established by means of the numbers of bikes both at the stations and on the roads, respectively. Furthermore, the scaling processes for the numbers of bikes both at the stations and on the roads are proved to converge in distribution to a semimartingale reflecting Brownian motion (SRBM) in a $N^{2}$-dimensional box, and also the fluid and diffusion limit theorems are obtained. Furthermore, performance analysis of the bike sharing system is provided. Thus the results and methodology of this paper provide new highlight in the study of more general large-scale bike sharing systems.Comment: 34 pages, 1 figure

Maternal emotion regulation, reactions to childrens’ negative emotions and youth’s adjustment

Tese de mestrado, Psicologia (Secção de Psicologia Clínica e da Saúde, Núcleo de Psicologia da Saúde e da Doença), Universidade de Lisboa, Faculdade de Psicologia, 2016Parents that are able to adequately self-regulate emotions will be more capacitated to help their children regulate their emotions. These processes influence the socialization of child’s emotions and have an undeniable influence on the child’s emotional and social development. Parental emotion regulation also involves the ability to tolerate the child’s negative emotions. When parents are unable to tolerate and be exposed to emotionally charged situations, they might try and change their form and frequency to avoid or reduce exposure. Parental Experiential Avoidance (parental EA) represents this inability. The purpose of this study was to study the relationships between maternal emotion regulation, maternal reactions to child’s negative emotions, and child’s adjustment. Additionally, we intended to analyze gender and age group differences in regard to Mothers’ Emotion Regulation and Mothers’ Coping with Children’s Negative Emotions. The sample was composed by 247 portuguese mothers that filled out on-line two scales to evaluate their emotion regulation (EREP) and reactions to child’s emotions (CCNES) and a questionnaire pertaining to their child’s (3 to 15 years old) adjustment (SDQ). Results, overall, supported the hypothesis. Maternal negative reactions/negative emotion regulation was positively statistically significant correlated to child’s adjustment problems; and the maternal constructive reactions/positive emotion regulation was positively statistically significant correlated to child’s positive adjustment. Negative and positive maternal emotion regulation dimensions were positively statistically significant correlated to, respectively, negative and constructive maternal reactions to child’s negative emotions. The results also showed significant differences between girls and boys regarding Emotion-Focused Reactions, wherein mothers used it more on girls than on boys. Mothers used less Distress Reactions with pre-school children but more Emotion-Focused Reactions compared with elementary school children, pre-adolescents and adolescents. Mother’s used Minimization Reactions significantly less with pre-school children in comparison with other age groups. For Emotional Inaction, mothers presented significantly higher levels for adolescents than for pre-school children.A autorregulação parental integra processos cognitivos, comportamentais e afetivos diferentes que, em conjunto, proporcionam aos pais a capacidade de planear e antecipar, de regular emoções, de cooperar com outros, de avaliar resultados e remodelar ações. Mais concretamente, a capacidade de regulação emocional dos pais é muito importante para gerir as situações quotidianas de interação com os filhos, mas também para ajudar as crianças a regular as suas próprias emoções. Um pai que é capaz de se autorregular será capaz de adequadamente pôr em prática capacidades que se traduzam na resolução de problemas, estabelecimento de objetivos, implementação de mudanças comportamentais e agir, com o objetivo final de proporcionar um desenvolvimento positivo para os filhos. A operacionalização adotada pelo presente estudo da regulação emocional parental inclui não só a capacidade dos pais regularem e expressarem as próprias emoções adequadamente, mas também a capacidade dos pais de serem atentos, reconhecerem e compreenderem as emoções da criança; e de aceitarem e tolerarem as emoções negativas reconhecendo o papel das emoções positivas e negativas na vida da criança e na parentalidade. Esta última dimensão é particularmente relevante, tendo em conta que capacidade de tolerar emoções é importante para uma adequada regulação emocional parental como o revelam os estudos mais recentes sobre o Evitamento Experiencial parental (EE parental). As reações parentais à emocionalidade negativa das crianças são uma componente importante do processo de socialização das emoções da criança, que dependem da capacidade dos pais se regularem emocionalmente. Os resultados de estudos anteriores revelam que o ajustamento da criança é influenciado pelas reações parentais às suas emoções que podem ser tanto apoiantes como não-apoiantes, e que ditam o clima emocional familiar, causando impacto na forma como a criança encara a experiência emocional. De forma geral, as diversas reações parentais às emoções dos filhos podem em diferentes graus desenvolver uma sensação de segurança emocional, sentimentos positivos face às relações sociais e uma regulação emocional adequada que se traduzem num ajustamento positivo geral. O presente estudo teve como objetivo geral a compreensão da relação entre regulação emocional maternal, reações maternais às emoções negativas da criança, e o ajustamento da criança. Os objetivos mais específicos foram: 1) explorar a relação entre a regulação emocional maternal e as reações maternas às emoções negativas da criança, 2) analisar a relação entre estas duas dimensões parentais e o ajustamento da criança, 3) e analisar as diferenças entre géneros e grupos etários relativamente às dimensões parentais. A amostra de estudo foi constituída por 247 mães portuguesas (idades entre 22 e 58) que preencheram on-line duas escalas relativas às suas reações à emocionalidade negativa das suas crianças (Reações Parentais às Emoções Negativas dos Filhos - CCNES) e à sua regulação emocional (Escala de Regulação Emocional Parental - EREP), e um questionário relativo à adaptação das suas crianças (Questionário de Capacidades e Dificuldades - SDQ). As crianças deste estudo tinham idades entre os 3 e 15 anos. Os dados deste estudo foram recolhidos no contexto de um projeto de investigação mais alargado “Projeto-P” desenvolvido por Barros, Pereira e Marques (2016) Apesar do estudo mais alargado prever a participação de pais e de mães, o estudo foi realizado apenas com mães, uma vez que os pais tiveram uma baixa adesão (n=25). Os resultados do estudo apoiaram, maioritariamente, as hipóteses formuladas. As correlações positivas entre as escalas que refletem dificuldades na regulação emocional da mãe (EREP) e as reações negativas das mães às emoções da criança (CCNES) apoiam a ideia de que uma regulação parental positiva é importante para que os pais possam reagir de forma mais construtiva às emoções das crianças. Em relação às associações entre as duas dimensões parentais e o ajustamento das crianças, reações negativas da mãe às emoções negativas das crianças e regulação emocional negativa da mãe revelaram uma correlação positiva e estatisticamente significativa com os indicadores de problemas de ajustamento da criança e uma correlação negativa com os indicadores de ajustamento positivo da criança. Estes resultados, embora correlacionais corroboram a ideia geral de que a regulação emocional dos pais e as reações parentais às emoções dos filhos têm um impacto no desenvolvimento emocional e social da criança. Em relação às diferenças de sexo da criança, apenas se encontrou uma diferença estatisticamente significativa entre mães de crianças do sexo feminino e mães do sexo masculino para as Reações Focadas nas Emoções, corroborando uma ideia de que, o sexo da criança instiga formas diferentes do socialização da emoções dos pais. Quanto às diferenças entre grupos etários, as mães utilizaram menos Reações de Perturbação Emocional (Distress) com crianças em idade pré-escolar (3-5 anos) do que com crianças de idade escolar (6-9 anos) e pré-adolescentes (10-13 anos), e utilizaram mais Reações Focadas na Emoções com crianças em idade pré-escolar (3-5 anos) do que com pré-adolescentes (10-13 anos) e adolescentes (14-15 anos). Adicionalmente, as mães utilizaram mais Reações de Minimização à medida que a idade da criança avançava, sendo que usaram significativamente menos com crianças em idade pré-escolar (3-5 anos) em comparação com os outros três grupos etários. Finalmente, para Inação Emocional, as mães apresentaram significativamente valores mais elevados para adolescentes (14-15 anos) do que para crianças em idade pré-escolar (3-5 anos). No geral, os pais de crianças mais velhas apresentam menos Reações Focadas nas Emoções e mais Reações de Minimização por comparação aos pais de crianças mais novas, sendo isto consistente com a ideia que as capacidades das crianças de se autorregularem emocionalmente melhoram ao longo do tempo fazendo com que os pais não tenham de intervir tanto. As diferenças para Inação Emocional mostraram-se consistentes com a ideia de que, em idades mais precoces (3-5 anos), os pais sabem reagir e intervir nas reações emocionais dos seus filhos. Esta capacidade varia ao longo do tempo sendo que na adolescência pode diminuir graças a questões de conflito muito comuns nesta fase que facilitam reações parentais inadequadas às situações de emocionalidade negativa dos adolescentes As limitações dos estudo são identificadas e exploradas, e são apresentadas orientações para estudos futuros

Via and embedded resistor production in low cost lithographically printed substrates

Lithographic printing of silver based conductive inks to form circuit tracking provides a very low cost, environmentally friendly method of production. It allows circuits with line widths down to 100 μm and a sheet resistance of 0.3 Ω per square to be produced at rates of up to 10000 impressions per hour. The process makes use of low capital cost equipment and has low set up costs. To date, an equally cost effective method of manufacturing vias in these circuits has not been developed. This paper proposes two new techniques for via production which are compatible with the rest of the manufacturing process. In the first technique, suitably profiled holes are laser drilled for subsequent filling as part of the lithographic printing. In the second technique laser energy is used to melt the substrate material so that it is able to mix with the conductive ink and so form a conductive path. The paper describes the proposed production techniques and discusses the factors affecting each method and in particular the substrate properties affecting production. The substrate materials considered in detail are Glossart and Teslin. The optical absorption and ablation characteristics of these materials for excimer and CO2 lasers are reported, as are the thermal diffusivities

A Learning 2.0 Programme: raising library staff awareness of Web 2.0 at Imperial College London

Published versio

Differential response to abiotic stress controls species distributions at biogeographic transition zones

Understanding range limits is critical to predicting species responses to climate change. Subtropical environments, where many species overlap at their range margins, are cooler, more light-limited and variable than tropical environments. It is thus likely that species respond variably to these multi-stressor regimes and that factors other than mean climatic conditions drive biodiversity patterns. Here, we tested these hypotheses for scleractinian corals at their high-latitude range limits in eastern Australia and investigated the role of mean climatic conditions and of parameters linked to abiotic stress in explaining the distribution and abundance of different groups of species. We found that environmental drivers varied among taxa and were predominantly linked to abiotic stress. The distribution and abundance of tropical species and gradients in species richness (alpha diversity) and turnover (beta diversity) were best explained by light limitation, whereas minimum temperatures and temperature fluctuations best explained gradients in subtropical species, species nestedness and functional diversity. Variation in community structure (considering species composition and abundance) was most closely linked to the combined thermal and light regime. Our study demonstrates the role of abiotic stress in controlling the distribution of species towards their high-latitude range limits and suggests that, at biogeographic transition zones, robust predictions of the impacts of climate change require approaches that account for various aspects of physiological stress and for species abundances and characteristics. These findings support the hypothesis that abiotic stress controls high-latitude range limits and caution that projections solely based on mean temperature could underestimate species’ vulnerabilities to climate change

"Boring formal methods" or "Sherlock Holmes deduction methods"?

This paper provides an overview of common challenges in teaching of logic and formal methods to Computer Science and IT students. We discuss our experiences from the course IN3050: Applied Logic in Engineering, introduced as a "logic for everybody" elective course at at TU Munich, Germany, to engage pupils studying Computer Science, IT and engineering subjects on Bachelor and Master levels. Our goal was to overcome the bias that logic and formal methods are not only very complicated but also very boring to study and to apply. In this paper, we present the core structure of the course, provide examples of exercises and evaluate the course based on the students' surveys.Comment: Preprint. Accepted to the Software Technologies: Applications and Foundations (STAF 2016). Final version published by Springer International Publishing AG. arXiv admin note: substantial text overlap with arXiv:1602.0517

Skew-Unfolding the Skorokhod Reflection of a Continuous Semimartingale

The Skorokhod reflection of a continuous semimartingale is unfolded, in a possibly skewed manner, into another continuous semimartingale on an enlarged probability space according to the excursion-theoretic methodology of Prokaj (2009). This is done in terms of a skew version of the Tanaka equation, whose properties are studied in some detail. The result is used to construct a system of two diffusive particles with rank-based characteristics and skew-elastic collisions. Unfoldings of conventional reflections are also discussed, as are examples involving skew Brownian Motions and skew Bessel processes.Comment: 20 pages. typos corrected, added a remark after Proposition 2.3, simplified the last part of Example 2.

Convergence in measure under Finite Additivity

We investigate the possibility of replacing the topology of convergence in probability with convergence in $L^1$. A characterization of continuous linear functionals on the space of measurable functions is also obtained